1. ......................
پدیدآورنده : Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
3. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
I5694
2009
4. Advances in web and network technologies and information management
پدیدآورنده : Lei Chen ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : World Wide Web, Technological innovations, Congresses,Computer networks, Management, Congresses,Database management, Congresses,Application software, Development, Congresses,Computer networks, Access control, Congresses,Business Intelligence, Echtzeitverarbeitung, Kongress, Suzhou <2009>,Datenbanksystem, Information Retrieval, Ontologie , Kongress, Suzhou <2009>,Rechnernetz, Datenbanksystem, Abfrage, Kongress, Suzhou <2009>,World Wide Web, Content Management, Kongress, Suzhou <2009>,World Wide Web, Informationssystem, Anwendungssystem, Kongress, Suzhou <2009>,Abfrage., swd,Anwendungssystem., swd,Business Intelligence., swd,Content Management., swd,Datenbanksystem., swd,Echtzeitverarbeitung., swd,Information Retrieval., swd,Informationssystem., swd,Ontologie (Wissensverarbeitung), swd,Rechnernetz., swd,World Wide Web., swd,Kongress., swd,Suzhou (2009), swd
رده :
TK
،
5105
.
888
،.
A7853
،
2009
5. Algebraic methods II : theory, tools, and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
76
.
D47
.
A45
1991
6. Algebraic methods : theory, tools, and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
76
.
D47
.
A44
1989
7. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
8. Embedded software :first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : Development Congresses ، Computer software
9. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
10. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
11. Experience with the management of software projects, 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October- 1 November, 1989
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Management- Congresses
12. Experience with the management of software projects 1992: proceedings of the fourth IFAC/IFIP work shop, Schloss Seggau, Austria 18-20 May 1992
پدیدآورنده : Edited by P. Elzer and V. Haase
موضوع : Computer software-Development-Management-congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I593
1993
14. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
15. Formal methods and software development
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
16. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
17. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
18. Handbook of Industrial system Safty engineering and risk Assessment
پدیدآورنده : / edited by Lee Gaumer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software--Development--Congresses,Model-integrated computing--Congresses,Model-driven software architecture--Congresses,Computer software--Development.--fast--(OCoLC)fst00872537,Model-driven software architecture.--fast--(OCoLC)fst01745121,Model-integrated computing.--fast--(OCoLC)fst01739357,Conference proceedings.--fast--(OCoLC)fst01423772
رده :
TS156
.
G285
2012
R
19. Integrated project support environments
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
20. Integrated project support environments: the aspect project
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Electronic data processing-- Management
رده :
QA
76
.
76
.
D47
.
I553
1991